You have chosen fragments/reports, Dynamic Logics and Dynamic Logics.
All three must be different; choose another text.